1. Advances in data and information sciences :
پدیدآورنده : Mohan L. Kolhe, Munesh C. Trivedi, Shailesh Tiwari, Vikash Kumar Singh, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer engineering, Congresses.,Software architecture, Congresses.,Artificial intelligence.,Computer engineering.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Software architecture.
رده :
QA76
.
751
2. Agents and peer-to-peer computing
پدیدآورنده : Domenico Beneventano...[et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Intelligent agents (Computer software), Congresses,Peer-to-peer architecture (Computer networks), Congresses
رده :
TK5105
.
525
.
A615
2008eb
3. Agents and peer-to-peer computing
پدیدآورنده : / Domenico Beneventano...[et al.] (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Peer-to-peer architecture (Computer networks)--Congresses,Intelligent agents (Computer software)--Congresses
رده :
TK5105
.
525
.
A615
2012
4. Agents and peer-to-peer computing : first international workshop, AP2PC 2002, Bologna, Italy, July 15, 2002 : revised and invited papers
پدیدآورنده : Gianluca Moro, Manolis Koubarakis )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Peer-to-Peer architecture )Computer networks(,Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
2530
5. Agents and peer-to-peer computing : second International Workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003 : revised and invited papers
پدیدآورنده : Gianluca Moro, Claudio Sartori, Munindar P. Singh )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Peer-to-Peer architecture )Computer networks(,Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
2872
6. Architecting critical systems
پدیدآورنده : / Holger Giese (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
7. Coordination Models and Languages :
پدیدآورنده : Hanne Riis Nielson, Emilio Tuosto (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses.,Software architecture, Congresses.,Computer network architectures.,Computer science.,Electronic data processing-- Distributed processing.,Operating systems (Computers),Software architecture.,Software engineering.
رده :
QA76
.
758
8. Formal methods for software architectures :
پدیدآورنده : Marco Bernardo, Paola Inverardi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
9. Formal methods for software architectures :
پدیدآورنده : Marco Bernardo, Paola Inverardi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
رده :
QA76
.
9
.
F67
M373
2003
10. Handbook of Industrial system Safty engineering and risk Assessment
پدیدآورنده : / edited by Lee Gaumer
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software--Development--Congresses,Model-integrated computing--Congresses,Model-driven software architecture--Congresses,Computer software--Development.--fast--(OCoLC)fst00872537,Model-driven software architecture.--fast--(OCoLC)fst01745121,Model-integrated computing.--fast--(OCoLC)fst01739357,Conference proceedings.--fast--(OCoLC)fst01423772
رده :
TS156
.
G285
2012
R
11. Intelligent agents II : agent theories, architectures, and languages : IJCAI'95 Workshop )ATAL( Montreal, Canada, August 19-22, 1995 : Proceedings
پدیدآورنده : M. Wooldridge, J.P. Muller, M. Tambe )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Intelligent agents )Computer software(,Congresses ، Computer architecture,Congresses ، Computational linguistics
رده :
QA
76
.
L28
Vol
.
1037
12. Intelligent agents III : Agent theories, architectures, and languages : ECAI'96 Workshop )ATAL( Budapest, Hungary, August 12-13, 1996 : Proceedings
پدیدآورنده : Jorg P. Muller, Michael J. Woolridge, Nicholas R. Jennings )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Intelligent agents )Computer software(,Congresses ، Computer architecture,Congresses ، Computational linguistics
رده :
QA
76
.
L28
Vol
.
1193
13. Intelligent agents IV : agent theories, architectures, and languages : 4th International Workshop, ATAL'97 Providence, Rhode Island, USA, July 24-26 1997 : proceedings
پدیدآورنده : Munindar P. Singh, Anand Rao, Michael J. Wooldridge )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Intelligent agents )Computer software(,Congresses ، Computer architecture,Congresses ، Computational linguistics
رده :
QA
76
.
L28
Vol
.
1365
14. Intelligent agents V : agent theories, architectures, and languages : 5th International Workshop, ATAL'98 : Paris, France, July 1998 : proceedings
پدیدآورنده : Jorg P. Muller, Munindar P. Singh, Anand S. Rao )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Intelligent agents )Computer software(,Congresses ، Computer architecture,Congresses ، Computational linguistics
رده :
QA
76
.
L28
Vol
.
1555
15. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Software architecture -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرم‌افزار -- مهندسی -- کنگره‌ها ,معماری نرم‌افزار -- کنگره‌ها
رده :
E-Book
,
16. Languages, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR'98, Pittsburgh, PA, USA, May 28-30, 1998 : selected papers
پدیدآورنده : David O'Hallaron )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Software engineering,Congresses ، Computer architecture
رده :
QA
76
.
L28
Vol
.
1511
17. Model driven architecture
پدیدآورنده : Uwe Assmann, Mehmet Aksit, Arend Rensink (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Object -- oriented programming (Computer science) -- Congresses,Model -- driven software architecture -- Congresses
رده :
QA
،
76
.
64
،.
M43
،
2005
18. Model driven architecture : European MDA Workshops : foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linkoping, Sweden, June 10-11, 2004 : revised selected papers
پدیدآورنده : Uwe Assmann, Mehmet Aksit, Arend Rensink )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Computer architecture,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3599
19. Model driven architecture: European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linkoping, Sweden, June 10-11, 2004: revised selected papers
پدیدآورنده : Uwe Assmann, Mehmet Aksit, Arend Rensink )eds.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Computer architecture,Congresses ، Computer software - Development
رده :
QA
76
.
64
.
M43
2003
20. Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 2005 : proceedings
پدیدآورنده : Alan Hartman, David Kreische )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer architecture,Congresses ، Computer software -- Development,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3748
